proving equations